Making Illegal States Unrepresentable in Kotlin
dev.to·20h·
Discuss: DEV
⚙Functional Programming
The Baby Paradox in Haskell
blog.jle.im·18h·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
A Post-Mortem on Optimizing a C++ Text Deduplication Engine for LLM: A 100x Speedup and 4 Hellish Bugs (OpenMP, AVX2, string_view, Unicode, Vector Database)
reddit.com·3h·
Discuss: r/cpp
🔧Compiler Design
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·9h
🧩Theorem Proving
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·1d·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·4d
🧩Theorem Proving
Switch Statements
learn.microsoft.com·1d·
Discuss: DEV
⚙Functional Programming
Software convergence
underlap.org·10h
🧮Programming Language Theory
Taming Concurrency: A New Era of Debugging Multithreaded Code
semiwiki.com·18h
🔍Static Analysis
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·23h
⚙Functional Programming
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·7h·
Discuss: Substack
🔍Static Analysis
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·1d·
Discuss: Hacker News
🧭SMT Solvers
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·1d
🔗Parser Combinators
CRYSTALS - The Gently Introduction
dev.to·16h·
Discuss: DEV
🔐Cryptography
A practical introduction to parsing in Rust
jhwlr.io·3d·
Discuss: r/rust
🔧Compiler Design
Sapir-Whorf does not apply to Programming Languages
buttondown.com·22h·
Discuss: Hacker News
🧮Programming Language Theory
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·14h·
Discuss: Hacker News
🧩Theorem Proving
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🔍Static Analysis